FDL - Nuprl Definition : fifoReceiver

Nuprl Definition : fifoReceiver

11,40

ff.Receiver == (TERMOF{fifoReceiver-exists:ObjectId, 1:l, i:l}(es,ff)).1

clarification:

fifoReceiver{i:l}(es; ff) == (TERMOF{fifoReceiver-exists:ObjectId, 1:l, i:l}(es,ff)).1

Definitions t.1, f(a), fifoReceiver-exists

FDL editor aliases fifoReceiver

Definitions	t.1, f(a), fifoReceiver-exists
FDL editor aliases	fifoReceiver